On a Formalism Which Makes any Sequence of Symbols Well-Formed
نویسندگان
چکیده
منابع مشابه
What Makes Any Agent a Moral Agent?
In this paper, we take moral agency to be that context in which a particular agent can, appropriately, be held responsible for her actions and their consequences. In order to understand moral agency, we will discuss what it would take for an artefact to be a moral agent. For reasons that will become clear over the course of the paper, we take the artefactual question to be a useful way into dis...
متن کاملIs There a Sequence on Four Symbols in Which No Two Adjacent Segments Are Permutations of One Another?
It has long been known (see [1–3, 5, 6, 10–12, 15, 16]) that there exist sequences on 3 symbols which contain no 2 identically equal consecutive segments, and sequences on 2 symbols which contain no 3 identically equal consecutive segments. Indeed, Axel Thue obtained these results around 1906. See [6] for a brief account of the contexts of the various independent rediscoveries of these results,...
متن کاملSome conditions under which slow oscillation of a sequence of fuzzy numbers follows from Ces`{a}ro summability of its generator sequence
Let $(u_n)$ be a sequence of fuzzy numbers. We recover the slow oscillation of $(u_n)$ of fuzzy numbers from the Ces`{a}ro summability of its generator sequence and some additional conditions imposed on $(u_n)$. Further, fuzzy analogues of some well known classical Tauberian theorems for Ces`{a}ro summability method are established as particular cases.
متن کاملAny which way but loose
Any which way but loose back-to-back arrangement of kinetochores is not needed for correct alignment on the mitotic spindle, as shown by Hilary Dewar, Tomoyuki Tanaka (University of Dundee, UK), and colleagues. Sister chromatids are glued together by cohesin such that their kinetochores face opposing poles. This arrangement might thus prevent both chromatids from attaching to spindle microtubul...
متن کاملA Decision Procedure for Well - Formed Lqcas
In this paper we introduce a new quantum computation model, the linear quantum cellular automaton. Well-formedness is an essential property for any quantum computing device since it enables us to deene the probability of a connguration in an observation as the squared magnitude of its amplitude. We give an eecient algorithm which decides if a linear quantum cellular automaton is well-formed. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1968
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000026556